ma{-}interface{-}domb($I$;$i$;$k$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$fpf{-}dom(KindDeq; $k$; ($I$IdDeq($i$).2))